home *** CD-ROM | disk | FTP | other *** search
- in i/j, j is zero
-
- in 0**y or y root 0, y is negative
-
- in x**(p/q) or (q/p) root x, x is negative and q is even
-
- in x**y or y root x, x is negative and y is not exact
-
- ambiguous expression; please use ( and ) to resolve
-
- no expression where expected
-
- no test where expected
-
- something unexpected in expression
-
- something unexpected in test
-
- misformed address
-
- %s hasn't been initialised or (properly) defined
-
- %s hasn't been (properly) defined
-
- %s has not yet received a value
-
- function returns no value
-
- predicate reports no outcome
-
- a refinement may not be used as an address
-
- bad node in while
-
- bad node in testsuite
-
- indentation not used consistently
-
- indentation must be at least 2
-
- selection on non-table
-
-